Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
251	Neighborly embedded manifolds G. Kalai∗ and A. Wigderson† 1 Introduction Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2007-02-26 10:32:11 Topology Mathematics Mathematical analysis Differential topology General topology Maps of manifolds Manifolds Category theory Embedding Submanifold Convex function Neighborly polytope
252	SATELLITE EVENTS ACCAT Applied and Computational Category Theory Category Theory is a well-known powerful mathematical modeling language Add to Reading List Source URL: natura.di.uminho.pt Language: English - Date: 2006-03-20 07:52:43
253	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2014-12-16 18:16:46
254	From grammars and automata to algebras and coalgebras Peter Padawitz Technical University of Dortmund, Germany April 2, 2013 Abstract. The increasing application of notions and results from category theory, especially fr Add to Reading List Source URL: fldit-www.cs.uni-dortmund.de Language: English
255	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:01:09 Category theory Functors Morphism Sheaf Category Limit Pushout Cone Diagram
256	CIRCUITS, CATEGORIES AND REWRITE RULES John Baez & Brendan Fong Higher-Dimensional Rewriting and Applications Warsaw, 29 June 2015 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2015-06-29 05:12:56 Port Smooth functions Mathematical analysis Category theory Mathematics Pushforward Theoretical physics Tensor product of modules
257	‘Linear’ representations of the polycyclic monoid Miklós Hartmann University of York October 15, 2012 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2012-10-16 03:22:00 Semigroup theory Algebraic structures Group theory Category theory Monoid Representation theory Semigroup Group action Homomorphism Group representation Free monoid
258	Dependent type theory as the initial category with families Simon Castellan December 8, 2014 Internship realized under the supervision of Peter Dybjer and Thierry Coquand Chalmers University of Technology, Gothenburg. Ab Add to Reading List Source URL: iso.mor.phis.me Language: English - Date: 2015-04-22 11:11:58
259	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
260	The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2011-11-28 12:39:22 Algebra Abstract algebra Mathematics Algebraic structures Semigroup theory Category theory Lattice theory Semigroup Monoid Kernel Semilattice Free monoid

UPDATE